The high level language and operating system support features of advanced microprocessors. II: Operating system support featuresNG, K. W.Microprocessing and microprogramming. 1987, Vol 19, Num 4, pp 277-289, issn 0165-6074Article

The DELtran projectHOCH, J; BAUER, C.Advances in VLSI series. 1989, Num 1, pp 332-355Article

The impact on software development costs of using HOL'sGAFFNEY, J. E.IEEE transactions on software engineering. 1986, Vol 12, Num 3, pp 496-499, issn 0098-5589Article

A transportable programming language (TPL) system. 2: OverviewDE MAINE, P.A.D; LEONG, S; DAVIS, C.G et al.International journal of computer & information sciences. 1985, Vol 14, Num 3, pp 161-182, issn 0091-7036Article

Type checking systems codeMORRISETT, Greg.Lecture notes in computer science. 2002, pp 1-5, issn 0302-9743, isbn 3-540-43363-5Conference Paper

Intermediate RepresentationCHOW, Fred.Communications of the ACM. 2013, Vol 56, Num 12, pp 57-62, issn 0001-0782, 6 p.Article

Design of a language for IC mask verification and net extractionBROWN, A. D; THOMAS, P. R.IEE proceedings. Part G. Electronic circuits and systems. 1989, Vol 136, Num 2, pp 67-78, issn 0143-7089, 12 p.Article

On the interface between the high level languages and chinese character informationMAOJIANG WANG.Computer standards & interfaces. 1987, Vol 6, Num 2, pp 181-186, issn 0920-5489Article

High Level Language Translator with Machine Code as Representation of the Source CodeRIBIC, Samir; SALIHBEGOVIC, Adnan.Information technology interfaces. 2007, pp 777-782, isbn 978-953-7138-09-7, 1Vol, 6 p.Conference Paper

Evolution of the high level programming languages : A critical perspectiveMASUD AHMAD MALIK.SIGPLAN notices. 1998, Vol 33, Num 12, pp 72-80, issn 0362-1340Article

Q'Nial: a portable interpreter for the nested interactive array language, NialJENKINS, M. A.Software, practice & experience. 1989, Vol 19, Num 2, pp 111-126, issn 0038-0644Article

Interfacing user processes and kernel in high level languageANCONA, M; CLEMATIS, A; GIANUZZI, V et al.Operating systems review. 1986, Vol 20, Num 1, pp 19-23, issn 0163-5980Article

Quick language implementationGARDINER, H; LYTTLE, R. W; MILLIGAN, P et al.ICL technical journal. 1987, Vol 5, Num 4, pp 789-806, issn 0142-1557Article

Special Issue on MiddlewareSUN, Xian-He; BLATECKY, Alan R.Journal of parallel and distributed computing (Print). 2004, Vol 64, Num 6, issn 0743-7315, 95 p.Serial Issue

Principles, Logics, and Implementations of High-Level Programming Languages (PLI)FENWICK, Jay; NORRIS, Cindy.ACM SIGPLAN notices. 2002, Vol 37, Num 12, issn 1523-2867, 103 p.Serial Issue

Direct correspondence architectures: principles, architecture, and designWEDIG, R. G.Advances in VLSI series. 1989, Num 1, pp 305-331Article

HLL architecture from a RISC perspectiveSTEENKISTE, P; GROSS, T.Advances in VLSI series. 1989, Num 1, pp 107-130Article

Suggestions for adding the ability of processing of chinese characters in programming languagesWANG MAOJIANG; DUAN WEI.Computer standards & interfaces. 1988, Vol 8, Num 2, pp 109-111, issn 0920-5489Article

Design of a co-operative high performance sequentia inference machine (CHI)NAKAZAKI, R; KONAGAYA, A; HABATA, S.-I et al.NEC research & development. 1986, Num 80, pp 10-18, issn 0547-051XArticle

Using B as a high level programming language in an industrial project : Roissy VLABADEAU, Frédéric; AMELOT, Amaud.Lecture notes in computer science. 2005, pp 334-354, issn 0302-9743, isbn 3-540-25559-1, 21 p.Conference Paper

Efficient implementation of lattice operationsHASSAN AIT-KACI; BOYER, R; LINCOLN, P et al.ACM transactions on programming languages and systems. 1989, Vol 11, Num 1, pp 115-146, issn 0164-0925Article

High-level user languages for energy management system savingsHOFFMANN, T. W.Energy engineering. 1987, Vol 84, Num 6, pp 13-27, issn 0199-8595Article

Translating Pascal for execution of a prolog-based systemWILLIAMS, M. H; CHEN, G.Computer journal (Print). 1986, Vol 29, Num 3, pp 246-252, issn 0010-4620Article

Programming an amorphous computational mediumBEAL, Jacob.Lecture notes in computer science. 2005, pp 121-136, issn 0302-9743, isbn 3-540-27884-2, 16 p.Conference Paper

A mechanically verified compiling specification for a Lisp compilerDOLD, Axel; VIALARD, Vincent.Lecture notes in computer science. 2001, pp 144-155, issn 0302-9743, isbn 3-540-43002-4Conference Paper